Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
41	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
42	CCCG 2011, Toronto ON, August 10–12, 2011 Sequential Dependency Computation via Geometric Data Structures Gruia Calinescu ∗ Add to Reading List Source URL: 2011.cccg.ca Language: English - Date: 2011-08-06 04:11:13 Mathematical optimization Operations research Optimal control Systems engineering Fractional cascading Summation Van Emde Boas tree Mathematics Dynamic programming Equations
43	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
44	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
45	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
46	Tree pattern matching by pushdown automata Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:46 Pattern matching A ISO 216 Software engineering Notation Automata theory Models of computation Pushdown automaton
47	Faster Computation of the Robinson-Foulds Distance between Phylogenetic Networks − Tetsuo Asano (JAIST, Japan) − Jesper Jansson (Ochanomizu University, Japan) − Kunihiko Sadakane (NII, Japan) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2010-08-20 17:45:44 Phylogenetic tree Historical linguistics Tree Vertex Computational phylogenetics Science Mathematics Phylogenetics Genetics Phylogenetic network
48	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science
49	Quantum Adversary (Upper) Bound Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-04-06 19:44:11 Models of computation Decision tree model Quantum algorithm Quantum computer PP Theoretical computer science Applied mathematics Computational complexity theory
50	A composition theorem for decision tree complexity Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2014-07-17 09:51:22 Computational complexity theory Decision tree model Theory of computation Communication complexity Convolution theorem Mathematics Theoretical computer science Mathematical analysis